An ETRI CPS Modeling Language for Hybrid System Simulation
نویسنده
چکیده
This article describes ECML (ETRI CPS Modeling Language), a modeling langue for hybrid system simulation. ECML extends DEV&DESS (Discrete Event and Differential Equation System Specification), with conveniences in modeling and simulation. Modeling environment EcoPOD (ETRI CPS Open Developer) and visual simulator EcoSIM (ETRI CPS Simulator) support visual modeling and simulation. We introduce modeling and simulation environment of ECML, and also formal definition. The case study specifies a simple vehicle system with the formal definition.
منابع مشابه
DEV&DESS based Verification Tool for Cyber-Physical System
Cyber-Physical Systems (CPS) is a highly complex system integrating physical components having sensors/actuators with computing components for the control. As the complexity of the system, the system should be designed using model-based approach and it should be verified before an implementation. In this paper, we exploit a simulation methodology for verifying the designed system by model-based...
متن کاملModeling Electromechanical Aspects of Cyber-Physical Systems
Model-based tools have the potential to significantly improve the process of developing novel cyber-physical systems (CPS). In this paper, we consider the question of what language features are needed to model such systems. We use a small, experimental hybrid systems modeling language to show how a number of basic and pervasive aspects of cyber-physical systems can be modeled concisely using th...
متن کاملReliability analysis of repairable systems using system dynamics modeling and simulation
Repairable standby system’s study and analysis is an important topic in reliability. Analytical techniques become very complicated and unrealistic especially for modern complex systems. There have been attempts in the literature to evolve more realistic techniques using simulation approach for reliability analysis of systems. This paper proposes a hybrid approach called as Markov system ...
متن کاملModeling and Verifying of CPS Component Services Based on Hybrid Automata
In recent years, the modeling and verifying of Cyber-Physical System (CPS) is now an important aspect of CPS researches. Because of the CPS’ complex architecture, it may suffer from the state-space explosion problem when we verify CPS models by model checking methods. Therefore, we offer a method which models CPS with Component Services. The method treats the CPS components as a service provide...
متن کاملA Study on Performance of Solid Oxide Fuel Cell-Stirling Engine Cycle Combined System- Part I: SOFC Simulation by Programming in Matlab and Modeling in Hysys
In recent years, using new methods in utilization of energy resources has become necessary due to environmental pollution and restriction of energy resources. The hybrid system presented in this article produced power with SOFC and Stirling engine. The purpose is to analyze a 50 kW Solid Oxide Fuel Cell that could produce enough thermal energy for a 10 kW Stirling engine working in the hybrid s...
متن کامل